منابع مشابه
Identifying Partners And Organizational Logical Structures For Collaborative Conceptual Design
Recently much interest has been devoted to novel distributed approaches which lead to the formation of collaborative networked organizations, e.g. virtual organizations, specifically oriented to generate an innovative product concept . Making use of logical-formal structures based on concepts related to directed hypergraphs, we formally represent competitive inter-organization and collaborative...
متن کاملIdentifying Logical Homogeneous Clusters for Efficient Wide-Area Communications
Recently, many works focus on the implementation of collective communication operations adapted to wide area computational systems, like computational Grids or global-computing. Due to the inherently heterogeneity of such environments, most works separate"clusters"in different hierarchy levels. to better model the communication. However, in our opinion, such works do not give enough attention t...
متن کاملIndexing and Retrieval Performance: The Logical Evidence
This paper presents a logical analysis of the characteristics of indexing and their effects on retrieval performance. It establishes the ability to ask the questions one needs to ask as the foundation of performance evaluation, and recall and discrimination as the basic quantitative performance measures for binary non-interactive retrieval systems. It then defines the characteristics of indexin...
متن کاملEvidence Algorithm and Sequent Logical Inference Search
In this paper we continue to develop the approach to automated search for theorem proofs started in Kyiv in 1960-1970s. This approach presupposes the development of deductive techniques used for the processing of mathematical texts, written in a formal first-order language, close to the natural language used in mathematical papers. We construct two logical calculi, gS and mS, satisfying the fol...
متن کاملMetaphysics of Logical Realism
با اینکه اغلب به غلط تصور میشود که فلسفۀ تحلیلی، به عنوان یک جنبش ضد-متافیزیکی، هیچ ارتباطی با متافیزیک ندارد، اما دلایل خوبی وجود دارند که بر اساس آن میتوان تمایلات متافیزیکی فیلسوفان تحلیلی را تصدیق نمود و متعاقباً ماهیت ضد-متافیزیکی فلسفه تحلیلی را در تمام مراحل شکلگیریاش به حداقل رساند. چون فلسفه تحلیلی یک جنبش تاریخی است که ماهیت اصلی آن در چند مرحله شکل یافته است، لذا با پیگیری این مرا...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2020
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-020-02618-y